|
|
Kombinovaná syntaktická analýza založená na gramatických systémech
Caha, Petr ; Solár, Peter (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá kombinovanou syntaktickou analýzou založenou na gramatických systémech. Zavádí klasické modifikované metody gramatických systémů. Nejprve budou teoreticky popsané a v další části implementované v syntaktickém analyzátoru. Základem analyzátoru je CD gramatický systém. Implementace využívá rekursivní sestup a precedenční analýzu. Analyzátor je universální, použitelný pro jakékoli gramatické systémy založené na bezkontextových a některých ne bezkontextových.
|
|
|
Gramatické systémy aplikované v syntaktické analýze
Martiško, Jakub ; Kolář, Dušan (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá předevąím různými variantami gramatických systémů. Gramatické systémy kombinují relativní jednoduchost bezkontextových gramatik s generativní silou komplexnějąích gramatik. V rámci práce jsou popsány dva základní typy: PC gramatické systémy a CD gramatické systémy. Mimo to, je v rámci této práce zaveden i systém nový, který vychází z CD gramatických systémů. Na základě tohoto nového systému je také zavedena nová metoda syntaktické analýzy. Takto navrľený analyzátor pak sestává z více menąích syntaktických analyzátorů, které pracují jak metodou zdola nahoru tak i shora dolů.
|
|
|
On Parallel Processing in Formal Models: Jumping Automata and Normal Forms
Kocman, Radim ; Černá, Ivana (oponent) ; Janoušek, Jan (oponent) ; Meduna, Alexandr (vedoucí práce)
The present thesis introduces and studies new possibilities of parallel processing in formal models. More specifically, it focuses its attention on parallel versions of jumping finite automata and on normal forms of grammars with interesting parallel properties. In the first part of this thesis, we give an initial motivation for studying parallel processing in formal models. We briefly introduce jumping models and normal forms of grammars and grammar systems. Finally, we state the precise focus and goals of our research. The second part of this thesis is focused on new results on jumping finite automata. First, we introduce n-parallel jumping finite automata that enhance the original jumping finite automaton model with multiple reading heads. The rest of the chapter then studies the accepting power of the model under two different jumping modes. Second, we introduce double-jumping finite automata and explore advanced jumping modes utilizing two heads. We study the accepting power of the models and also the closure properties of the related language families. Lastly, we introduce jumping 5'->3' Watson-Crick finite automata that combine the jumping behavior with the biology-inspired Watson-Crick finite automata that process double-stranded DNA sequences. The rest of this chapter then studies the accepting power of the model under unrestricted and various restricted conditions. The third part of this thesis is focused on new results on CD grammar systems. We introduce two types of transformations that turn arbitrary general grammars into equivalent two-component general CD grammar systems of very reduced and simplified forms. Apart from the reduction and simplification, we describe several other useful properties concerning these systems and the way they work. In the last part, we mention possible application perspectives for the introduced models and normal forms, and we conclude the thesis with the final summary and the description of theoretical perspectives for the achieved results.
|
|
|
Kombinovaná syntaktická analýza založená na gramatických systémech
Caha, Petr ; Solár, Peter (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá kombinovanou syntaktickou analýzou založenou na gramatických systémech. Zavádí klasické modifikované metody gramatických systémů. Nejprve budou teoreticky popsané a v další části implementované v syntaktickém analyzátoru. Základem analyzátoru je CD gramatický systém. Implementace využívá rekursivní sestup a precedenční analýzu. Analyzátor je universální, použitelný pro jakékoli gramatické systémy založené na bezkontextových a některých ne bezkontextových.
|
|
|
Gramatické systémy aplikované v syntaktické analýze
Martiško, Jakub ; Kolář, Dušan (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce se zabývá předevąím různými variantami gramatických systémů. Gramatické systémy kombinují relativní jednoduchost bezkontextových gramatik s generativní silou komplexnějąích gramatik. V rámci práce jsou popsány dva základní typy: PC gramatické systémy a CD gramatické systémy. Mimo to, je v rámci této práce zaveden i systém nový, který vychází z CD gramatických systémů. Na základě tohoto nového systému je také zavedena nová metoda syntaktické analýzy. Takto navrľený analyzátor pak sestává z více menąích syntaktických analyzátorů, které pracují jak metodou zdola nahoru tak i shora dolů.
|
host ::
RSS.